Kripke Semantics for Logics with Bck Implication
نویسنده
چکیده
We present Kripke semantics for some substructural logics with weakening, known as logics with BCK implication. This work is a continuation of the work of Allwein and Dunn on Kripke semantics for Linear Logic, which in turn rested on Dunn’s Gaggle Theory and on Urquhart’s Representation Theory for nondistributive lattices. The basic idea in the representation theory is to use maximally disjoint filter-ideal pairs (maximal pairs) to separate distinct elements. A collection of subsets of the set of maximal pairs forms the representation lattice. Ternary relations are defined on the set of maximal pairs which embody properties of the operations & and ⊃ . A three way valuation of formulas gives rise to a definition of canonical Kripke model. Properties of the ternary relations on the set of maximal pairs are used in the abstract definition of Kripke semantics. Soundness and strong completeness hold.
منابع مشابه
A Canonical Model Construction for Substructural Logics
In this paper, we introduce a class of substructural logics, called normal substructural logics, which includes not only relevant logic, BCK logic, linear logic and the Lambek calculus but also weak logics with strict implication, and de ne Kripkestyle semantics (Kripke frames and models) for normal substructural logics. Then we show a correspondence between axioms and properties on frames, and...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملHypersequent Calculi for some Intermediate Logics with Bounded Kripke Models
In this paper we define cut-free hypersequent calculi for some intermediate logics semantically characterized by bounded Kripke models. In particular we consider the logics characterized by Kripke models of bounded width Bwk, by Kripke models of bounded cardinality Bck and by linearly ordered Kripke models of bounded cardinality Gk. The latter family of logics coincides with finite-valued Gödel...
متن کاملA Comparison of Implications in Orthomodular Quantum Logic - Morphological Analysis of Quantum Logic
Morphological operators are generalized to lattices as adjunction pairs Serra, 1984; Ronse, 1990; Heijmans and Ronse, 1990; Heijmans, 1994 . In particular, morphology for set lattices is applied to analyze logics through Kripke semantics Bloch, 2002; Fujio and Bloch, 2004; Fujio, 2006 . For example, a pair of morphological operators as an adjunction gives rise to a temporalization of normal mod...
متن کاملAdmissible rules in the implication-negation fragment of intuitionistic logic
Uniform infinite bases are defined for the single-conclusion and multiple-conclusion admissible rules of the implication–negation fragments of intuitionistic logic IPC and its consistent axiomatic extensions (intermediate logics). A Kripke semantics characterization is given for the (hereditarily) structurally complete implication–negation fragments of intermediate logics, and it is shown that ...
متن کامل